(define (cons x y) (builtin cons x y))
(define (loop x) (loop (cons 1 2)))
(define main (loop #f))
